منابع مشابه
Optimal column-based low-rank matrix reconstruction
We prove that for any real-valued matrix X ∈ R, and positive integers r > k, there is a subset of r columns of X such that projecting X onto their span gives a
متن کاملSemiring Neighbours
In 1996 Zhou and Hansen proposed a first-order interval logic called Neighbourhood Logic (NL) for specifying liveness and fairness of computing systems and also defining notions of real analysis in terms of expanding modalities. After that, Roy and Zhou presented a sound and relatively complete Duration Calculus as an extension of NL. We present an embedding of NL into an idempotent semiring of...
متن کاملSign rank versus VC dimension
This work studies the maximum possible sign rank ofN×N sign matrices with a given VC dimension d. For d = 1, this maximum is three. For d = 2, this maximum is Θ̃(N1/2). For d > 2, similar but slightly less accurate statements hold. The lower bounds improve over previous ones by Ben-David et al., and the upper bounds are novel. The lower bounds are obtained by probabilistic constructions, using a...
متن کاملWeak index versus Borel rank
We investigate weak recognizability of deterministic languages of infinite trees. We prove that for deterministic languages the Borel hierarchy and the weak index hierarchy coincide. Furthermore, we propose a procedure computing for a deterministic automaton an equivalent minimal index weak automaton with a quadratic number of states. The algorithm works within the time of solving the emptiness...
متن کاملSemiring Parsing
decorations of parse forests usingdynamic programming and algebraicpower series. Theoretical Computer Science.To appear.Tendeau, Frédéric. 1997b. An Earleyalgorithm for generic attribute augmentedgrammars and applications. In Proceedingsof the International Workshop on ParsingTechnologies 1997, pages 199–209.Viterbi, Andrew J. 1967. Error bounds forconvol...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Linear Algebra and its Applications
سال: 1988
ISSN: 0024-3795
DOI: 10.1016/0024-3795(88)90141-3